#include <stdio.h>
 #include <linux/sched.h> 
int main(){
	printf("%d\n",TASK_COMM_LEN);
}
